program hilbert bahasa Inggris

• hilbert's program

• program:    curriculum; programme; programme, program; login;
• hilbert:    david hilbert; hilbert
• alihragam hilbert:    hilbert transform

Contoh

1. The main goal of Hilbert's program was to provide secure foundations for all mathematics.
   Tujuan utama dari program Hilbert adalah untuk memberikan dasar yang aman untuk semua matematika.
2. The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem.
   Kedua hasil ini secara luas, tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa program Hilbert untuk menghitung himpunan lengkap dan konsisten dari aksioma-aksioma bagi semua matematika adalah tidak mungkin, sehingga memberikan jawaban negatif terhadap soal Hilbert yang kedua.
3. It was the goal of Hilbert's program to put all of mathematics on a firm axiomatic basis, but according to Gödel's incompleteness theorem every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final axiomatization of mathematics is impossible.
   Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil.